Known vulnerabilities in Canonical Ltd. coq-menhirlib (Ubuntu package) 20231231+ds-1build2

20240715+ds-1build5 20240715+ds-1build4 20240715+ds-1build3 20240715+ds-1build2 20240715+ds-1build1 20240715+ds-1 20231231+ds-4build3 20231231+ds-4build2 20231231+ds-4build1 20231231+ds-4 20231231+ds-3build3 20231231+ds-3build2 20231231+ds-3build1 20231231+ds-2 20231231+ds-3 20231231+ds-1build3 20231231+ds-1build2 20231231+ds-1build1 20231231+ds-1 20230608+ds-2build1 20230608+ds-2 20230608+ds-1build3 20230608+ds-1build2 20230608+ds-1build1 20230608+ds-1 20220210+ds-5 20220210+ds-4build2 20220210+ds-4build1 20220210+ds-4 20220210+ds-3build3 20220210+ds-3build2 20220210+ds-3build1 20220210+ds-3 20220210+ds-2 20220210+ds-1